Mr. F. is a fifty‐year‐old father of two school‐aged daughters. Six years ago, he received a double lung transplant because he was suffering from interstitial lung disease, a fatal illness that causes suffocation by progressive scarring of the lungs. He is now experiencing chronic rejection of the transplant and is being considered to receive another. Without it, he is expected to survive only a year and a half. With it, his prognosis will improve, but the numbers are still not good. (...) Three years after his lung transplant, Mr. F. stopped attending his office visits. For a period of sixteen months he went without the studies and attention essential to posttransplant care. He stopped performing the required daily self‐monitoring of his lung function about eight months after his transplant, but he has maintained a regular exercise regimen. While lost to follow‐up, he continued to take his immunosuppressant medications, but he stopped taking medicine to control his high blood pressure because of its expense. (shrink)

Categorical proof theory is an approach to understanding the structure of proofs. We illustrate the idea first by analyzing G0̈del's Dialectica interpretation and the Diller-Nahm variant in categorical terms. Then we consider the problematic question of the structure of classical proofs. We show how double negation translations apply in the case of the Dialectica interpretations. Finally we formulate a proposal as to how to give a more faithful analysis of proofs in the sequent calculus.

Persian Religion in the Achaemenid Period. Edited by Wouter F. M. Henkelman and Céline Redard. Classica et Orientalia, vol. 16. Wiesbaden: Harrassowitz Verlag, 2017. Pp. 496, illus. €98.

This short note considers the formulation of Full Intuitionistic Linear Logic given by Hyland and de Paiva . Unfortunately the formulation is not closed under the process of cut elimination. This note proposes an alternative formulation based on the notion of patterns.

In their recent article, Kirsch and Hyland questioned the relation between psychological and associated neurophysiological phenomena in the introduction of complementarity into psychology. Mishkin's work on the neurophysiological basis of memory and perception provides an example of the extension of complementarity that I have proposed and that can serve as the basis for empirical testing of this extension. Mishkin's thesis that memory storage occurs at sensory stations in the cortex allows for the resolution of a fundamental problem in cognitive (...) psychology, namely the reciprocal dependence of perception and memory. Also, Mishkin's thesis allows that psychological phenomena do not depend on an objective world for their existence. (shrink)

I am an historian in a country in which it is not only impossible to say what the future will be, but in which the past itself—as someone put it—is susceptible to change. This country is currently going through an unprecedented crisis that has turned both its material and political as well as spiritual life upside-down. The crisis, the roots of which stretch back over decades, has made life virtually unbearable for many of its citizens. Yet for the historian, and (...) for the philosopher and sociologist, this crisis affords an unusual opportunity. As a result of the earthquakes that have shaken the former Soviet Union, formerly hidden layers of history—and the forces that underpin them—have been revealed. Such cases do not often arise. To a scholar endeavoring to discover the secret springs of unfolding events, Russia represents a gigantic and unique “laboratory.” Although it is easier to judge the extent of a cataclysm, to comprehend its deeper import, after the event, this does not relieve the contemporary—who participates in historical events—of the duty of trying to understand, to the extent possible, the nature of the changes taking place. (shrink)

This study described the relationships between academic class and student moral sensitivity and reasoning and between curriculum design components for ethics education and student moral sensitivity and reasoning. The data were collected from freshman (n = 506) and senior students (n = 440) in eight baccalaureate nursing programs in South Korea by survey; the survey consisted of the Korean Moral Sensitivity Questionnaire and the Korean Defining Issues Test. The results showed that moral sensitivity scores in patient-oriented care and conflict were (...) higher in senior students than in freshman students. Furthermore, more hours of ethics content were associated with higher principled thinking scores of senior students. Nursing education in South Korea may have an impact on developing student moral sensitivity. Planned ethics content in nursing curricula is necessary to improve moral sensitivity and moral reasoning of students. (shrink)

Although it has been given qualified approval by a number of philosophers of education, the so-called ‘therapeutic turn’ in education has been the subject of criticism by several commentators on post-compulsory and adult learning over the last few years. A key feature of this alleged development in recent educational policy is said to be the replacement of the traditional goals of knowledge and understanding with personal and social objectives concerned with enhancing and developing confidence and self-esteem in learners. After offering (...) some critical observations on these developments, I suggest that there are some educationally justifiable goals underpinning what has been described as a therapeutic turn. Whilst accepting that ‘self-esteem’ and cognate concepts cannot provide a general end or universal aim of education, the therapeutic function is more valuable and significant than is generally acknowledged. This claim is justified by an examination of the concept of ‘mindfulness’ that, it is argued, can be an immensely powerful and valuable notion, which is integrally connected with the centrally transformative and developmental nature of learning and educational activity at all levels. (shrink)

This article explores the organization of instructional corrections in pre-clinical dental education. The students are practising manual skills using a simulator and tutors are inspecting and evaluating their progress. Simulators and simulation are critical to the organization of contemporary healthcare training, and the academic literature that explores forms of simulation in healthcare tends to consider the ‘fidelity’ of systems and the extent to which they match the clinical situations that they are designed to mimic. In contrast, this article considers how (...) tutors and students explicitly attend to matters of realism in the course of instructional sequences. We highlight the ways in which tutors routinely invoke ‘real life’ in instructional corrections and we discuss how these sequences reveal the work that tutors undertake to compensate for the ‘chronic insufficiency’ of the simulator. We show how tutors emphasize the reasoned character of manual bodily skills, reasons linked to the complexities and contingencies of clinical practice. To explore these issues and concerns, the article draws on the analysis of audio-visual data of everyday instruction. (shrink)

Church's Thesis asserts that the only numeric functions that can be calculated by effective means are the recursive ones, which are the same, extensionally, as the Turing-computable numeric functions. The Abstract State Machine Theorem states that every classical algorithm is behaviorally equivalent to an abstract state machine. This theorem presupposes three natural postulates about algorithmic computation. Here, we show that augmenting those postulates with an additional requirement regarding basic operations gives a natural axiomatization of computability and a proof of Church's (...) Thesis, as Gödel and others suggested may be possible. In a similar way, but with a different set of basic operations, one can prove Turing's Thesis, characterizing the effective string functions, and--in particular--the effectively-computable functions on string representations of numbers. (shrink)

We start with a simple proof of Leivant's normal form theorem for ∑11 formulas over finite successor structures. Then we use that normal form to prove the following:1. over all finite structures, every ∑21 formula is equivalent to a ∑21 formula whose first-order part is a Boolean combination of existential formulas, and2. over finite successor structures, the Kolaitis-Thakur hierarchy of minimization problems collapses completely and the Kolaitis-Thakur hierarchy of maximization problems collapses partially.The normal form theorem for ∑21 fails if ∑21 (...) is replaced with ∑11 or if infinite structures are allowed. (shrink)

This paper is an update of the documents we have concerning the Acts of the Christian martyrs, focused on three main aspects: 1) the kind of acts we know of and their classification from the point of view of their historic value; 2) the versions or editions of the texts that are most accepted by scholars; 3) the relevance of the different parts that make up these documents in order to discern the original text from passages that were rewritten or (...) underwent later variations. In this way, the article offers an exhaustive list of the documents for use in researching Christian martyrs in the Roman period. (shrink)

People usually regard algorithms as more abstract than the programs that implement them. The natural way to formalize this idea is that algorithms are equivalence classes of programs with respect to a suitable equivalence relation. We argue that no such equivalence relation exists.

This paper is a reaction to the following remark by grzegorczyk: "the compound sentences are not a product of experiment. they arise from reasoning. this concerns also negations; we see that the lemon is yellow, we do not see that it is not blue." generally, in science the truth is ascertained as indirectly as falsehood. an example: a litmus-paper is used to verify the sentence "the solution is acid." this approach gives rise to a (very intuitionistic indeed) conservative extension of (...) the heyting logic satisfying natural duality laws. (shrink)

This paper is motivated by the question whether there exists a logic capturing polynomial time computation over unordered structures. We consider several algorithmic problems near the border of the known, logically defined complexity classes contained in polynomial time. We show that fixpoint logic plus counting is stronger than might be expected, in that it can express the existence of a complete matching in a bipartite graph. We revisit the known examples that separate polynomial time from fixpoint plus counting. We show (...) that the examples in a paper of Cai, Fürer, and Immerman, when suitably padded, are in choiceless polynomial time yet not in fixpoint plus counting. Without padding, they remain in polynomial time but appear not to be in choiceless polynomial time plus counting. Similar results hold for the multipede examples of Gurevich and Shelah, except that their final version of multipedes is, in a sense, already suitably padded. Finally, we describe another possible candidate, involving determinants, for the task of separating polynomial time from choiceless polynomial time plus counting. (shrink)

This is a welcome reprint of a book that continues to grow in importance.

We consider fixed point logics, i.e., extensions of first order predicate logic with operators defining fixed points. A number of such operators, generalizing inductive definitions, have been studied in the context of finite model theory, including nondeterministic and alternating operators. We review results established in finite model theory, and also consider the expressive power of the resulting logics on infinite structures. In particular, we establish the relationship between inflationary and nondeterministic fixed point logics and second order logic, and we consider (...) questions related to the determinacy of games associated with alternating fixed points. (shrink)

In recent literature, panpsychism has been defended by appeal to two main arguments: first, an argument from philosophy of mind, according to which panpsychism is the only view which successfully integrates consciousness into the physical world (Strawson 2006; Chalmers 2013); second, an argument from categorical properties, according to which panpsychism offers the only positive account of the categorical or intrinsic nature of physical reality (Seager 2006; Adams 2007; Alter and Nagasawa 2012). Historically, however, panpsychism has also been defended by appeal (...) to a third argument based on considerations about the nature and observability of causation. This argument has not been much discussed in recent times. Here is a concise version from William James: "… the concrete perceptual flux, taken just as it comes, offers in our own activity-situations perfectly comprehensible instances of causal agency … If we took these experiences as the type of what actual causation is, we should have to ascribe to cases of causation outside of our life, to physical cases also, an inwardly experiential nature. In other words, we should have to espouse a so-called “pan-psychic” philosophy" (James 1911: 218). James here suggests that we have direct experience of causation in our own agency. He thereby directly contradicts David Hume, who famously denied that we have any experience of causation. James goes on to claim that if this experience is representative of causation in general, it follows that all causation is mental, and that panpsychism is true. This kind of argument for panpsychism can be called the argument from (experience of) causation. This chapter offers, first, a history of this argument and arguments closely related to it, and second, an analysis of the argument – is it valid, are its premises in any way defensible, and how does it relate to the other, more popular arguments for panpsychism from philosophy of mind and categorical properties? (shrink)

Primal infon logic was introduced in 2009 in connection with access control. In addition to traditional logic constructs, it contains unary connectives p said indispensable in the intended access control applications. Propositional primal infon logic is decidable in linear time, yet suffices for many common access control scenarios. The most obvious limitation on its expressivity is the failure of the transitivity law for implication: \$$ \to \$$ and \$$ \to \$$ do not necessarily yield \$$ \to \$$. Here we introduce (...) and investigate equiexpressive extensions TPIL and TPIL* of propositional primal infon logic as well as their quote-free fragments TPIL0 and TPIL0* respectively. We prove the subformula property for TPIL0* and a similar property for TPIL*; we define Kripke models for the four logics and prove the corresponding soundness-and-completeness theorems; we show that, in all these logics, satisfiable formulas have small models; but our main result is a quadratic-time derivation algorithm for TPIL*. (shrink)

Turing machines define polynomial time on strings but cannot deal with structures like graphs directly, and there is no known, easily computable string encoding of isomorphism classes of structures. Is there a computation model whose machines do not distinguish between isomorphic structures and compute exactly PTime properties? This question can be recast as follows: Does there exist a logic that captures polynomial time ? Earlier, one of us conjectured a negative answer. The problem motivated a quest for stronger and stronger (...) PTime logics. All these logics avoid arbitrary choice. Here we attempt to capture the choiceless fragment of PTime. Our computation model is a version of abstract state machines . The idea is to replace arbitrary choice with parallel execution. The resulting logic expresses all properties expressible in any other PTime logic in the literature. A more difficult theorem shows that the logic does not capture all of PTime. (shrink)

Ch. 1. Filosofskoe osmyslenie kulʹtury -- ch. 2. Problemy mnozhestvennosti kulʹtur.

This article is based on a conversation between the President of the Society for the Anthropology of Consciousness and the Editor‐in‐Chief of its journal. The aim of this conversation is threefold: (1) to engage a broader audience within the field of the anthropology of consciousness, (2) to discuss the recent history of the organization and its current direction, and (3) to recognize why concrete efforts toward a practice of decolonization is essential to maintaining the relevance of an anthropology of consciousness.

The choice construct (choose x: φ(x)) is useful in software specifications. We study extensions of first-order logic with the choice construct. We prove some results about Hilbert's ε operator, but in the main part of the paper we consider the case when all choices are independent.